7 MINORS OF A DETERMINANT 379
matrix of matrices "
/
^1
0
k22
u =
\Q 0 ••• X
Tl
where Xy is an w^xm,- matrix, we have
(A.7.4.2)
det U = (det Xn)(det X22) • - - (det Xrr)
(" Computation of a determinant by blocks").